
{
  type HelloWorld = string // expected to be a string
}